Nuprl Lemma : concat-nil 11,40

concat([]) ~ [] 
latex


Definitionsconcat(ll), reduce(f;k;as), Y

origin